def get_terminal_size(): ...
